expanding subspace theorem

扩张子空间定理